Orthogonal Arrays, Resilient Functions, Error-Correcting Codes, and Linear Programming Bounds

Orthogonal arrays (OAs) are basic combinatorial structures, which appear under various disguises in cryptology and the theory of algorithms. Among their applications are universal hashing, authentication codes, resilient and correlation-immune functions, derandomization of algorithms, and perfect local randomizers. In this paper, we give new explicit bounds on the size of orthogonal arrays using Delsarte's linear programming method. Speciically we prove that the minimum number of rows in a binary orthogonal This paper is an expanded and revised version of the extended abstract \Bounds for Resilient Functions and Orthogonal Arrays" 1 array of length n and strength t is at least 2 n ? (n2 n?1 =t + 1) and also at least 2 n ? (2 n?2 (n + 1)=d t+1 2 e): We also prove that these bounds are as powerful as the linear programming bound itself for many parametric situations. An (n; m; t)-resilient function is a function f : f0; 1g n ?! f0; 1g m such that every possible output m-tuple is equally likely to occur when the values of t arbitrary inputs are xed by an opponent and the remaining n ? t input bits are chosen independently at random. A basic problem is to maximize t given m and n, i.e., to determine the largest value of t such that an (n; m; t)-resilient function exists. In this paper, we obtain upper and lower bounds for the optimal values of t where 1 n 25 and 1 m < n. The upper bounds are derived from Delsarte's linear programming bound, and the lower bounds come from constructions based on error correcting codes. We also obtain new explicit upper bounds for the optimal values of t. It was proved by Chor et al in 9] that an (n; 2; t)-resilient function exists if and only if t < b 2n 3 c. This result was generalized by Friedman 12], who proved a bound for general m. We also prove some new bounds, and complete the determination of the optimal resiliency of resilient functions with m = 3 and most of the cases for m = 4. Several other innnite classes of (optimal) resilient functions are also constructed using the theory of anticodes.